Colimits in the category of quadratic modules
نویسندگان
چکیده
منابع مشابه
Colimits in the Category DCPO
We establish sufficient and necessary conditions for a natural sink to be a colimit in DCPO. Based on these conditions we show how to construct a colimit for any functor F from a small category into the category DCPO. This demonstrates that the category DCPO is cocomplete. We also investigate under what conditions the colimit object is algebraic. 0 Introduction Colimits play an important role...
متن کاملThe category of generalized crossed modules
In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...
متن کاملLimits, Colimits and How to Calculate Them in the Category of Modules over a Pid
The goal of this paper is to introduce methods that allow us to calculate certain limits and colimits in the category of modules over a principal ideal domain. We start with a quick review of basic categorical language and duality. Then we develop the concept of universal morphisms and derive limits and colimits as special cases. The completeness and cocompleteness theorems give us methods to c...
متن کاملModules in Transition - Conservativity, Composition, and Colimits
Several modularity concepts for ontologies have been studied in the literature. Can they be brought to a common basis? We propose to use the language of category theory, in particular diagrams and their colimits, for answering this question. We outline a general approach for representing combinations of logical theories, or ontologies, through interfaces of various kinds, based on diagrams and ...
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications Faculty Of Science University of Ankara Series A1Mathematics and Statistics
سال: 2016
ISSN: 1303-5991
DOI: 10.1501/commua1_0000000744